Don't try to use a Sphinx extension we don't have
authorDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Tue, 31 Jan 2023 13:21:16 +0000 (13:21 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 31 Jan 2023 13:21:16 +0000 (13:21 +0000)
commite46480420a06608906aa10771b4ef51e6036a26a
tree235fdfe748a30fdc45da3d2b0818c6602eb688fe
parent0262b1fbeff3b978105df0ec6acb88c831ff9bb6
Don't try to use a Sphinx extension we don't have

Author: Rebecca N. Palmer <rebecca_palmer@zoho.com>
Forwarded: not-needed

Gbp-Pq: Name no_sphinx_toggleprompt.patch
doc/source/conf.py